Evaluating the Use of Model-Based Requirement Verification Method: An Empirical Study
نویسندگان
چکیده
Requirements engineering is a critical phase in software development that describes the customer needs and the specifications for the software solution. Requirements are gathered through various sources and the output is a list of requirements for a software product to be developed, written in Natural Language (NL). NL requirements are fault prone because stakeholders can interpret NL differently due to the inherent imprecision, ambiguity, and vagueness of NL. To address these problems, a model-based requirements verification method called NL to state transition diagram (STD) is proposed. This paper evaluates the ability of the NLtoSTD method to detect faults when used on NL requirements and to improve the software reliability. Overall, the result shows that the NLtoSTD is an effective requirements verification method.
منابع مشابه
Data envelopment analysis in service quality evaluation: an empirical study
Service quality is often conceptualized as the comparison between service expectations and the actual performance perceptions. It enhances customer satisfaction, decreases customer defection, and promotes customer loyalty. Substantial literature has examined the concept of service quality, its dimensions, and measurement methods. We introduce the perceived service quality index (PSQI) as a sing...
متن کاملThe Development of an Integrated Psychotherapy Model based on Religious-Psychological Teachings with Islamic Approach and Evaluating its Effectiveness on Reducing the Tendency to High-Risk Behaviors in Adolescents
Objective: The aim of this study was to develop an integrated psychotherapy model based on religious-psychological teachings with Islamic approach and evaluate its effectiveness on reducing the tendency to high-risk behaviors (tendency to use alcohol, drug, and cigarette) in adolescents. Method: The present study was quasi-experimental with pretest-posttest design with a control group. The stat...
متن کاملOne dimensional simulation of flushing sediment through reservoirs
Control of sedimentation in reservoirs of dams is considered to be one of the most important issues in exploitation of dams and increasing their useful life. Reservoirs act as traps for sediments and prevent transport of sediments to the river. The deposited sediments will decrease the capacity of the reservoirs so that they cannot be in use any more. Various methods are discussed in this study...
متن کاملEvaluating the Liquefaction Potential of Soil in the South and Southeast of Tehran based on the Shear Wave Velocity through Empirical Relationships
The liquefaction resistance of soil can be evaluated using laboratory tests such as cyclic simple shear, cyclic triaxial, cyclic torsional shear as well as field methods like Standard Penetration Test (SPT), Cone Penetration Test (CPT) and Shear Wave Velocity (Vs). In this regard, this study attempts to compare the results of the SPT based on the simplified procedure proposed by Seed and Idriss...
متن کاملAn Empirical Investigation of the Determinants of Users Acceptance of E-banking in Singapore: Based on Technology Acceptance Model
Singapore is depicted to be the fastest growing telecommunications nation in Asia. Presently, all the members of the Singapore banking industry have engaged in the use of Information and Communication Technology as a platform for effective and efficient means of conducting financial transactions. This paper focuses on determining the level of users’ acceptance of the electronic banking services...
متن کامل